con = [[] for i in range(88)]
con[0] = [  15,   63,   68,   82,  154,  163,  165,  182,  215,  226,  269,  271,  335,  337,  390,  417,  458,  469,  477,  603,  604, 8762, 8961, 8965, 8976, 9003]
con[1] = [3765, 3780, 3781, 3789, 3871, 3947, 4104, 4118, 4273]
con[2] = [5261, 5303, 5336, 5470, 5730, 5782, 6020, 6021, 6102, 6163, 6411, 6417]
con[3] = [7950, 7990, 8093, 8232, 8264, 8402, 8414, 8418, 8499, 8512, 8518, 8539, 8558, 8559, 8573, 8592, 8597, 8610, 8673, 8679, 8698, 8709, 8834, 8841, 8850, 8858, 8865, 8968, 8988]
con[4] = [7176, 7235, 7236, 7315, 7332, 7377, 7387, 7429, 7446, 7447, 7474, 7497, 7511, 7519, 7525, 7544, 7557, 7560, 7570, 7595, 7602, 7610, 7669, 7710, 7724]
con[5] = [6229, 6285, 6295, 6314, 6451, 6461, 6462, 6468, 6500, 6510, 6537, 6549, 6569, 6585, 6743]
con[6] = [ 545,  546,  553,  563,  569,  613,  617,  646,  669,  702,  773,  793,  809,  836,  847,  867,  869,  887,  888,  951,  972, 1005, 1015]
con[7] = [1577, 1592, 1605, 1612, 1641, 1689, 1708, 1729, 1749, 1773, 1805, 1843, 1971, 1995, 2011, 2012, 2029, 2077, 2088, 2091, 2095, 2219, 2289, 2420, 2427, 2459, 2483, 2487, 2516, 2547, 2568]
con[8] = [5185, 5200, 5235, 5328, 5329, 5340, 5350, 5351, 5404, 5429, 5435, 5447, 5475, 5476, 5477, 5478, 5502, 5505, 5506, 5544, 5600, 5602, 5616, 5676, 5681, 5733, 5734, 5763, 5774, 5823]
con[9] = [1443, 1502, 1503, 1539, 1652, 1653]
con[10] = [1148, 1542, 1603]
con[11] = [3124, 3132, 3169, 3176, 3191, 3208, 3209, 3210, 3249, 3262, 3268, 3304, 3310, 3311, 3355, 3357, 3366, 3369, 3429, 3449, 3461, 3474, 3475, 3519, 3522, 3540, 3555, 3561, 3565, 3572, 3575, 3595, 3621, 3623, 3627, 3650, 3669]
con[12] = [4785, 4914, 4915]
con[13] = [2282, 2294, 2361, 2387, 2414, 2423, 2429, 2443, 2491, 2538, 2574, 2580, 2590, 2593, 2596, 2618, 2646, 2653, 2657, 2693, 2749, 2782, 2827]
con[14] = [2828, 2845, 2851, 2854, 2880, 2887, 2901, 2943, 3059]
con[15] = [7712, 7715, 7747, 7754, 7761, 7773, 7776, 7814, 7822, 7829, 7830, 7889, 7900, 7936, 7980, 8060, 8075, 8087, 8127, 8167, 8204, 8260, 8278, 8288, 8319, 8322, 8351]
con[16] = [2326, 3117, 3307, 3685, 3699, 3890, 3891, 4037, 4199, 4210]
con[17] = [  21,  123,  130,  153,  168,  179,  184,  193,  219,  223,  253,  264,  265,  321,  343,  382,  399,  403,  442,  542,  548,  707, 9008, 9045, 9071]
con[18] = [4390, 4441, 4442, 4467, 4621, 4638, 4743, 4802, 4819, 4933, 4942, 5028, 5132, 5190, 5193, 5231, 5248, 5249, 5260, 5267, 5285, 5288, 5367, 5440, 5459, 5460, 5576]
con[19] = [7750, 7850, 7957, 8162, 8238, 8316, 8334, 8417, 8465, 8469, 8494, 8571, 8578, 8591, 8694, 8819, 8872, 8974]
con[20] = [  74,  188,  194,  235,  267,  279,  334,  402,  509,  531,  539,  585,  649,  681,  708,  718,  740,  754,  779,  781,  804,  811,  813,  896,  911,  996, 1007]
con[21] = [3318, 3340, 3502, 3795, 3860, 3902, 3983, 3997, 4174, 4231, 4234, 4479, 4583, 4605, 4674]
con[22] = [5463, 5539, 5551, 5593, 5664, 5666, 5670, 5704]
con[23] = [1743, 1862, 1926, 1935, 1956, 1996, 2040, 2056, 2087, 2092, 2106, 2120, 2171, 2177, 2181, 2256, 2296]
con[24] = [4737, 4968, 4969, 4983]
con[25] = [6951, 6952, 6953, 7021, 7050, 7062, 7068, 7152, 7188, 7226, 7227, 7242, 7254, 7259]
con[26] = [5709, 5727, 5728, 5747, 5778, 5793, 5800, 5833, 5834, 5849, 5855, 5889, 5901, 5936, 5947, 5968, 5971, 6018, 6063, 6064, 6074, 6103, 6107, 6108]
con[27] = [4623, 4630, 4662, 4696, 4757, 4775, 4786]
con[28] = [4287, 4343, 4347, 4382, 4395, 4402, 4405, 4416, 4468, 4488, 4514, 4567]
con[29] = [4599, 4603, 4616, 4656, 4679, 4700, 4730, 4731, 4763, 4764, 4842, 4853, 4890, 4897, 4898, 4899]
con[30] = [7328, 7408, 7417, 7418, 7420, 7469, 7478, 7528, 7564, 7615, 7619, 7796, 7844, 7851, 7924, 7949, 7963, 8028, 8079, 8115, 8130, 8143, 8146, 8252, 8301, 8309, 8310, 8335]
con[31] = [7852, 7858, 7871, 7882, 7883, 7892, 7896, 7906, 7928, 7947, 7948]
con[32] = [1338, 1465, 1530, 1674, 1744, 1836, 1922, 2015, 2064, 2194, 2221, 2245, 2352, 2377]
con[33] = [4434, 4787, 5291, 5744, 5986, 6132, 6369, 6370, 6396, 6536, 6554, 6555, 6596, 6636, 6637, 6688, 6705, 6725, 6920, 6927, 7125, 7180, 7310, 7352, 7371, 7462, 7582, 7685]
con[34] = [8034, 8097, 8123, 8131, 8178]
con[35] = [ 472,  566,  674,  721,  794,  818,  850,  874,  897,  898,  907,  917,  919,  925,  984, 1003, 1084, 1088, 1136, 1162, 1173, 1181, 1213, 1231, 1240, 1298, 1325, 1347, 1383, 1453, 1463, 1464, 1520, 1560, 1617, 1666, 1679]
con[36] = [ 594,  612,  652,  695,  724,  744,  749,  767,  772,  777,  835,  841,  844,  845,  848,  851,  863,  901,  914,  963, 1042, 1054, 1058, 1114, 1134, 1171, 1184]
con[37] = [2216, 2286, 2343, 2421, 2473, 2484, 2540, 2630, 2650, 2697, 2763, 2777, 2821, 2852, 2890, 2891, 2905, 2930, 2973, 2985, 2990, 3013, 3067, 3149]
con[38] = [8229, 8353, 8411, 8425, 8486, 8488, 8521, 8524, 8552, 8556, 8560, 8600, 8602, 8636, 8644, 8655, 8675, 8700, 8722, 8747, 8774, 8787, 8790, 8820, 8859, 8907]
con[39] = [5914, 5982, 6008, 6009, 6023, 6092, 6095, 6117, 6148, 6168, 6212, 6220, 6324, 6406, 6407, 6410, 6418, 6484, 6485, 6526, 6588, 6623, 6695, 6703, 6707, 6779]
con[40] = [ 714,  778,  802,  810,  833,  852,  909,  934, 1302, 1326]
con[41] = [3410, 3418, 3454, 3482, 3492, 3547, 3613, 3665, 3748, 3759, 3787, 3845, 3849, 3903, 3970, 3994, 4094, 4156, 4171, 4232, 4314, 4317, 4450, 4494, 4552, 4958, 5020, 5287]
con[42] = [  98,  236,  516,  550,  570,  591,  593,  667,  678,  705,  715,  776,  806,  837,  872,  939, 1025, 1208]
con[43] = [7869, 7920, 7952, 7968, 7986, 8055, 8140, 8188, 8333, 8362, 8368, 8369, 8387, 8409, 8515, 8701]
con[44] = [8538, 8585]
con[45] = [3731, 3754, 3773, 3782, 3852, 3866, 3873, 3905, 3937, 3950, 3975, 3982, 4031, 4057, 4058, 4133, 4310, 4357, 4359, 4368, 4386, 4399, 4418, 4471, 4534]
con[46] = [4100]
con[47] = [1654, 1696, 1702, 1705, 1756, 1757, 1829, 1865, 1983, 1998, 2035, 2085, 2155]
con[48] = [5523, 5530, 5531, 5554, 5564, 5586, 5603, 5622, 5652, 5656, 5685, 5703, 5723, 5743, 5750, 5764, 5787, 5794, 5812, 5838, 5848, 5902, 5908]
con[49] = [5354, 5395, 5396, 5425, 5453, 5469, 5528, 5571, 5605, 5606, 5626, 5646, 5647, 5649, 5683, 5695, 5698, 5699, 5705, 5708, 5712, 5719, 5776, 5797, 5820, 5839, 5883, 5925, 5926, 5948, 5987]
con[50] = [3705]
con[51] = [6872, 6903, 7001, 7051, 7052, 7053, 7054, 7056, 7057, 7100, 7102, 7106, 7131, 7139, 7178, 7192, 7262, 7298, 7314]
con[52] = [1426, 1456, 1541, 1629, 1677, 1716, 1953, 1991, 2022, 2062, 2125, 2261, 2559, 2689, 2919]
con[53] = [7846, 7943, 7965, 7979, 8039, 8048, 8069, 8070, 8135, 8151, 8180]
con[54] = [2227, 2298, 2356, 2357, 2358, 2714, 2970, 3188]
con[55] = [4520, 4530, 4671, 4703, 4704, 4773, 4798, 4844, 4923, 4952, 4993, 5042, 5051]
con[56] = [5961, 5962, 5980, 5994, 6019, 6024, 6045, 6058, 6071, 6072, 6115, 6155]
con[57] = [  30, 3678, 4312, 4870, 5084, 5339, 5525, 5545, 5557, 5729, 6721, 6829, 7228, 7863, 7864, 8021, 8254, 8280, 8471, 8481, 8505, 8630, 8663, 8862, 9032, 9061, 9084]
con[58] = [6056, 6075, 6104, 6112, 6113, 6118, 6129, 6147, 6149, 6153, 6175, 6281, 6299, 6378, 6424, 6425, 6445, 6453, 6498, 6556, 6567, 6603, 6629, 6698, 6733, 6734]
con[59] = [1543, 1544, 1552, 1556, 1567, 1570, 1580, 1601, 1698, 1713, 1735, 1788, 1789, 1790, 1811, 1851, 1852, 1855, 1876, 1879, 1880, 1893, 1894, 1895, 1896, 1897, 1899, 1903, 1907, 1931, 1934, 1948, 1949, 2004, 2047, 2061, 2124, 2135, 2159, 2199]
con[60] = [6582, 6745, 6761, 6855, 6916, 6982, 7036, 7074, 7107, 7127, 7274, 7590, 7603, 7612, 7665, 7790, 7848, 7859, 7875, 7881, 7913, 7934, 8092, 8181]
con[61] = [  39,   45, 8308, 8315, 8413, 8430, 8449, 8450, 8454, 8634, 8641, 8650, 8665, 8667, 8684, 8697, 8717, 8775, 8781, 8880, 8905, 9036, 9064]
con[62] = [ 496,  799,  834,  854,  879,  915,  921,  936,  937,  941,  947, 1017, 1052, 1087, 1122, 1131, 1135, 1203, 1220, 1228, 1261, 1303]
con[63] = [  25,   99,  100,  125,  147,  180,  183,  191,  242,  295,  322,  331,  338,  370,  429,  440,  555,  558,  602, 8949, 8966, 9006, 9069, 9081]
con[64] = [1516, 1563, 1564, 1649, 1663, 1767, 1801, 1818, 2020, 2042, 2212, 2320, 2412, 2550]
con[65] = [ 224,  291,  294,  310,  311,  328,  339,  351,  352,  360,  361,  362,  383,  413,  434,  437,  463,  489,  510,  549,  595,  596, 8773, 8852, 8911, 8916, 8969, 8984, 9072]
con[66] = [8305, 8326, 8386, 8431, 8433, 8447, 8478, 8570, 8576, 8628, 8695, 8720, 8728, 8767]
con[67] = [2451, 2553, 2773, 2878, 3034, 3045, 3165, 3185]
con[68] = [3420, 3433, 3438, 3468, 3518, 3556, 3628, 3644, 3718, 3733]
con[69] = [1006, 1010, 1083, 1175, 1247, 1264, 1266, 1336, 1355, 1372, 1395]
con[70] = [7463, 7479, 7488, 7536, 7546, 7635, 7679, 7705]
con[71] = [6742, 6746, 6812, 6832, 6859, 6879, 6913, 7039, 7116, 7120, 7121, 7145, 7150, 7194, 7217, 7234, 7264, 7292, 7337, 7340, 7342, 7343, 7344, 7348, 7362, 7363, 7581, 7597, 7623, 7624, 7779, 7787]
con[72] = [5928, 5944, 5953, 5977, 5978, 5984, 5985, 5993, 5997, 6026, 6027, 6031, 6048, 6081, 6084, 6134, 6165, 6241, 6247, 6252, 6262, 6271, 6380, 6508, 6527, 6553, 6580, 6615, 6631]
con[73] = [  24,   34,   35,   84,  105,  185,  195,  280,  288,  293,  462,  497,  514, 8863, 8937, 8975, 9016, 9091]
con[74] = [6884, 6930, 6973, 7020, 7032, 7063, 7149]
con[75] = [5739, 5770, 5788, 5789, 5795, 5804, 5840, 5842, 5843, 5845, 5853, 5854, 5858, 5867, 5868, 5870, 5879, 5881, 5888, 5892, 5899, 5933, 5940, 5972, 6093, 6446, 6561, 6581, 6710, 6869, 7141, 7142]
con[76] = [3909, 3981, 4042, 4116, 4119]
con[77] = [1030, 1038, 1165, 1239, 1251, 1269, 1283, 1320, 1329, 1346, 1348, 1369, 1373, 1380, 1387, 1388, 1389, 1392, 1396, 1409, 1411, 1412, 1444, 1457, 1478, 1479, 1497, 1620, 1791, 1910]
con[78] = [6783, 6897, 6905, 6934, 6938, 7087, 7134, 7213, 7329, 7393, 7424, 7510, 7673]
con[79] = [ 544,  599,  622,  660,  664]
con[80] = [5671, 5771, 5891, 5897, 6030, 6098, 6109, 6151, 6172, 6217]
con[81] = [  77,   83,  126,  127,  136,  139,  187,  252,  270,  332,  377, 8502, 8540, 8582, 8848, 9062, 9076]
con[82] = [3323, 3391, 3403, 3569, 3576, 3594, 3609, 3616, 3624, 3775, 3888, 3894, 4033, 4069, 4248, 4295, 4301, 4335, 4374, 4375, 4377, 4518, 4554, 4660, 4905, 5054, 5055, 5191]
con[83] = [ 424, 5563, 5735, 5826, 5903, 6116, 6322, 6789, 7394]
con[84] = [3206, 3207, 3485, 3634, 3734, 3786, 3940, 4216]
con[85] = [4483, 4515, 4517, 4540, 4589, 4608, 4689, 4813, 4825, 4826, 4828, 4902, 4910, 4932, 4963, 5015, 5056, 5107, 5264, 5315, 5338, 5359, 5366, 5409, 5487]
con[86] = [2602, 2735, 2736, 2803, 3024, 3223, 3301, 3302, 3334, 3347, 3460, 3615]
con[87] = [7405]